University of Koblenz and Landau - PDFSEARCH.IO - Document Search Engine

University of Koblenz and Landau
Results: 32

#	Item
21	Editor: Neil H. Schwartz,,Ph.D., California State University, Chico Editorial Assistant: Christine Roser, University of Koblenz-Landau Editor: Dr. Neil Schwartz, Ph.D., California State University of Chico Editorial Assi Add to Reading List Source URL: apadiv15.org Language: English - Date: 2014-06-03 12:47:40 Association for Psychological Science Doctor of Philosophy Educational psychology Graduate school Educational psychologist Thomas R. Kratochwill APA Task Force on Deceptive and Indirect Techniques of Persuasion and Control Psychology Applied psychology American Psychological Association
22	Wednesday, August 1, :00 – 12:00 Hall E Add to Reading List Source URL: www.iias.edu Language: English - Date: 2011-10-12 13:48:13 Koblenz Germany Indo-European languages University of Koblenz and Landau Niehaus Landau
23	Declaration-level Change and Dependency Analysis of Hackage Packages Extended Abstract Philipp Schuster and Ralf L¨ammel Software Languages Team, Department of Computer Science, University of Koblenz-Landau, Germany Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Software repository Debian Package R Software Free software Cabal
24	Towards Tool Support for History Annotations in Similarity Management Extended Abstract Thomas Schmorleiz and Ralf L¨ammel Software Languages Team, Department of Computer Science, University of Koblenz-Landau, Germany Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Reference Git Similarity Annotation Haskell KeY Software Computer programming Computing
25	Political Masculinities and Social Transition CFP (Final Draft2) Add to Reading List Source URL: www.stonybrook.edu Language: English - Date: 2014-09-30 13:47:58 Science Academia Anthropology Masculinity Men Man Gender role Transition University of Koblenz and Landau Gender Sociology Behavior
26	The 23rd International World Wide Web Conference WWW 2014 April 7-11, [removed]Coex, Seoul, Korea Add to Reading List Source URL: www2014.kr Language: English - Date: 2014-11-16 18:19:34 Web Science Trust KAIST University of Koblenz and Landau World Wide Web Higher education Humanities Academia Web Science Massachusetts Institute of Technology University of Southampton
27	Travelling The City of Koblenz Airports Welcome to Koblenz - one of the most beautiful and oldest towns in Germany with over Add to Reading List Source URL: ipcv.uni-koblenz.de Language: English - Date: 2012-07-02 11:49:46 Koblenz University of Koblenz and Landau Middle Rhine Computational visualistics States of Germany Rhineland-Palatinate Geography of Germany
28	Supporting the Take‐up of Specifications with Application Profiles and Conformance Testing Ingo Dahn, University KoblenzLandau, Germany Position paper for JISC workshop January 12, 2010 T Add to Reading List Source URL: wiki.cetis.ac.uk Language: English - Date: 2010-01-06 08:25:51 Educational technology Information Telecommunications Data Interoperability Specification IMS Global QTI Microsoft Open Specification Promise Technical communication Technology Standards
29	The 23rd International World Wide Web Conference WWW 2014 April 7-11, [removed]Coex, Seoul, Korea Add to Reading List Source URL: www2014.kr Language: English - Date: 2014-02-12 01:19:12 Web Science Trust KAIST University of Koblenz and Landau World Wide Web Higher education Humanities Academia Web Science Massachusetts Institute of Technology University of Southampton
30	Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:37:51 Automated theorem proving Theoretical computer science Proof theory Model theory Mathematical proof KeY Reuse Theorem First-order logic Logic Mathematics Mathematical logic